Quatre fonctionnaires ont été tués jeudi à la préfecture de police de Paris, trois policiers, dont une femme, et un agent administratif.